Boolean lexicographic optimization: algorithms & applications
نویسندگان
چکیده
منابع مشابه
Boolean Lexicographic Optimization
Multi-Objective Combinatorial Optimization (MOCO) problems find a wide range of practical application problems, some of which involving Boolean variables and constraints. This paper develops and evaluates algorithms for solving MOCO problems, defined on Boolean domains, and where the optimality criterion is lexicographic. The proposed algorithms build on existing algorithms for either Maximum S...
متن کاملAlgorithms for Weighted Boolean Optimization
The Pseudo-Boolean Optimization (PBO) and Maximum Satisfiability (MaxSAT) problems are natural optimization extensions of Boolean Satisfiability (SAT). In the recent past, different algorithms have been proposed for PBO and for MaxSAT, despite the existence of straightforward mappings from PBO to MaxSAT and viceversa. This papers proposes Weighted Boolean Optimization (WBO), a new unified frame...
متن کاملImproving Unsatisfiability-Based Algorithms for Boolean Optimization
Recently, several unsatisfiability-based algorithms have been proposed for Maximum Satisfiability (MaxSAT) and other Boolean Optimization problems. These algorithms are based on being able to iteratively identify and relax unsatisfiable sub-formulas with the use of fast Boolean satisfiability solvers. It has been shown that this approach is very effective for several classes of instances, but i...
متن کاملEvolutionary Algorithms for Boolean Queries Optimization
Usage of genetic algorithms in the Information retrieval area, especially in optimizing a Boolean query, is presented in this paper. The proposed evolution of Boolean queries should increase the performance of the information retrieval system by means of the precision and recall. Influence of both criteria is thorougly tested for different genetic algorithm settings. The quality improvement ach...
متن کاملUsing Genetic Algorithms for Boolean Queries Optimization
Most of information retrieval systems depend on Boolean queries. The performance of an information retrieval system is usually measured in terms of two different criteria, precision and recall. This way, the optimization of any of its components is a clear example of a multiobjective problem. However, although evolutionary algorithms have been widely applied in the information retrieval area, i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematics and Artificial Intelligence
سال: 2011
ISSN: 1012-2443,1573-7470
DOI: 10.1007/s10472-011-9233-2